1. Analysis with an introduction to proof
پدیدآورنده : / Steven R. Ley
کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (تهران)
موضوع : آن‍ال‍ی‍ز ریاضی,برهان
رده :
QA
۳۰۰
/
ل
۹
آ
۸ ۱۳۷۹
2. How to read do proofs: an introduction to mathematical thought processes
پدیدآورنده : / Daniel Solow
کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (تهران)
موضوع : برهان,م‍طق ریاضی
رده :
QA
۹
/
۵۴
/
س
۹
ه
۲ ۱۳۸۱
3. >المنطق = منطق< و البرها‌ن
پدیدآورنده : ممدوح المزین
کتابخانه: کتابخانه و مرکز اطلاع رسانی شیخ بهائی (دفتر تبليغات اسلامی حوزه علميه خراسان) (خراسان رضوی)
موضوع : منطق ریاضی,برهان
رده :
BC
۱۳۵
/
م
۴،
م
۸
4. برهان گودل و حقیقت و برهان
پدیدآورنده : نویسندگان ارنست ناگل، ج. نیومن و آلفرد تارسکی؛ ترجمه محمد اردشیر
کتابخانه: كتابخانه وزارت امور خارجه (تهران)
موضوع : برهان قضیه,منطق ریاضی
رده :
QA
،۹
/
۶۵،
/
ن
۲،
ب
۴،۱۳۶۴
5. برهان گودل و حقیقت و برهان
پدیدآورنده : ناگل، نیومن تارسکی
موضوع : برهان قضیه,منطق ریاضی
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
6. برهان گودل و حقیقت و برهان
پدیدآورنده : / نویسندگان ارنست ناگل، ج. نیومن و آلفرد تارسکی,عنوان اصلی به زبان اصلی: Godel's proof
کتابخانه: کتابخانه مرکزی دانشگاه ایلام (ایلام)
موضوع : برهان قضیه,منطق ریاضی
رده :
QA
۹
/
۶۵
/
ن
۲
ب
۴
7. منطق، اثبات و مجموعه ها
پدیدآورنده : نوشته : ماروین بیتینگر ؛ مترجم : محمدمهدی ابراهیمی,بیتینجر، ماروین
کتابخانه: کتابخانه عمومی امام امیرالمومنین علیه السلام (اصفهان)
موضوع : منطق ریاضی,برهان ,نظریه مجموعه ها
رده :
QA
8. منطق، اثبات و مجموعهها
پدیدآورنده : بیتینجر، ماروین
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : مسا‌ئل، تمرینها و غیره منطق ریاضی,مسا‌ئل، تمرینها و غیره برهان,مسا‌ئل، تمرینها و غیره نظریه مجموعهها
رده :
QA
۹
/
ب
۹
م
۸ ۱۳۷۲
9. منطق، اثبات و مجموعهها
پدیدآورنده : بیتینجر، ماروین Bittinger, Marvin L
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه حکیم سبزواری (خراسان رضوی)
موضوع : منطق ریاضی,برهان,نظریه مجموعهها
رده :
QA
۹
/
ب
۸۷
م
۸ ۱۳۷۲
10. منطق، اثبات و مجموعهها
پدیدآورنده : بیتینجر، ماروین، .L Marvin ,Bittinger
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : منطق ریاضی,برهان,نظریه مجموعهها
رده :
QA
۹
/
ب
۹
م
۸ ۱۳۷۲
11. منطق، اثبات و مجموعهها
پدیدآورنده : بیتینجر، ماروین L nivraM ,regnittiB
کتابخانه: كتابخانه الغدير یزد (مؤسسه فرهنگی تحقيقاتی اخوان دستمالچی) (یزد)
موضوع : منطق ریاضی,برهان,نظریه مجموعهها
رده :
QA
۹
/
ب
۸۷
م
۸ ۱۳۷۸
12. منطق ? برهان و مجموعه ها
پدیدآورنده : بیتینجر،ماروین,ماروین . ال . بیتینگر ; ترجمه محمود محمدی ? میثم خطیبی
کتابخانه: کتابخانه دکتر شهیدی(کتابخانه های سازمان فرهنگی هنری شهرداری تهران) (تهران)
موضوع : ،منطق ریاضی، , ،برهان، , ،نظریه مجموعه ها،
رده :
511
/3
ب
796
م
1383
13. منطق ? برهان و مجموعه ها
پدیدآورنده : بیتینجر،ماروین,ماروین . ال . بیتینگر ; ترجمه محمود محمدی ? میثم خطیبی
کتابخانه: کتابخانه حکیمیه(کتابخانه های سازمان فرهنگی هنری شهرداری تهران) (تهران)
موضوع : ،منطق ریاضی، , ،برهان، , ،نظریه مجموعه ها،
رده :
511
/3
ب
796
م
1383
14. منطق، برهان و مجموعهها
پدیدآورنده : / ماروین. ال. بیتینگر
موضوع : منطق ریاضی,برهان,نظریه مجموعهها
۵ نسخه از این کتاب در ۵ کتابخانه موجود است.
15. منطق. برهان و مجموعه ها
پدیدآورنده : ماروین .ال . بیتینگر ,,بیتینجر? ماروین
کتابخانه: كتابخانه مركزی و مركز اسناد شهيد مطهری دانشگاه رازى (کرمانشاه)
موضوع : منطق ریاضی برهان نظریه مجموعه ها
رده :
QA
9
/
ب
87
م
8
16. منطق ? برهان و مجموعه ها
پدیدآورنده : بیتینجر،ماروین,ماروین . ال . بیتینگر ; ترجمه محمود محمدی ? میثم خطیبی
کتابخانه: کتابخانه خواجوی کرمانی(کتابخانه های سازمان فرهنگی هنری شهرداری تهران) (تهران)
موضوع : ،منطق ریاضی، , ،برهان، , ،نظریه مجموعه ها،
رده :
511
/3
ب
796
م
1383
17. منطق، برهان و مجموعهها
پدیدآورنده : بیتینجر، ماروین
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : منطق ریاضی,برهان,نظریه مجموعهها
رده :
QA
۹
/
ب
۹
م
۸ ۱۳۸۳
18. منطق و اثبات
پدیدآورنده : بیتینجر، ماروین Bittinger, Maruin L
موضوع : منطق ریاضی,برهان,نظریه مجموعهها
۶ نسخه از این کتاب در ۶ کتابخانه موجود است.
19. منطق و اثبات
پدیدآورنده : / [ماروین ال. بیتینجر,بیتینجر,بیتینجر
کتابخانه: كتابخانه آستانه مقدس حضرت فاطمه معصومه (س) (قم)
موضوع : منطق ریاضی,برهان,نظریه مجموعهها
رده :
QA
۹
/
ب
۹
م
۸
20. منطق و اثبات
پدیدآورنده : بیتینجر، ماروین
کتابخانه: کتابخانه کوثر دانشگاه قم (قم)
موضوع : منطق ریاضی,برهان (منطق),نظریه مجموعهها
رده :
QA
۹
/
ب
۸۷
م
۸
